Keketatan matematika

Kata ketat dalam konteks matematika merupakan terjemahan dari kata bahasa Inggris: rigor yang berarti penarikan kesimpulan senantiasa berdasar bernalar deduktif (deductive reasoning). Berbeda dengan ilmu pengetahuan alam maupun sosial yang memperbolehkan pembuatan kesimpulan berdasar penalaran induktif, dalam matematika, argumen yang dapat diterima hanyalah yang deduktif.

Ekstremnya, jika kita mengamati sebuah pernyataan benar untuk satu juta kasus, tak ada alasan untuk meyakini bahwa benar juga untuk kasus yang ke-sejuta-satu. Semua gagasan dan argumen matematika senantiasa taat pada prinsip keketatan ini. Dengan kedisiplinan dan ketaatan pada keketakan ini, semua argumen matematika menjadi sahih.

Kata 'rigor' harus dibedakan dengan 'rigid' sehingga kata 'rigor' tak cocok diterjemahkan sebagai 'kaku' atau 'kekakuan'.